https://dasbestelexikon.de/en/wiki/Well-founded_set